example of proof by contradiction